CSP入門⑤ CSPモデルのOccam 2へのインプリメント(1)